Philip J. Ivanhoe's richly annotated translation of this classic work is accompanied by his engaging interpretation and commentary, a lucid introduction, and a Language Appendix that compares eight classic translations of the opening passage of the work and invites the reader to consider the principles upon which each was rendered.

We introduce a linear analogue of Läuchli's semantics for intuitionistic logic. In fact, our result is a strengthening of Läuchli's work to the level of proofs, rather than provability. This is obtained by considering continuous actions of the additive group of integers on a category of topological vector spaces. The semantics, based on functorial polymorphism, consists of dinatural transformations which are equivariant with respect to all such actions. Such dinatural transformations are called uniform. To any sequent in Multiplicative Linear Logic (...) , we associate a vector space of“diadditive” uniform transformations. We then show that this space is generated by denotations of cut-free proofs of the sequent in the theory MLL + MIX. Thus we obtain a full completeness theorem in the sense of Abramsky and Jagadeesan, although our result differs from theirs in the use of dinatural transformations.As corollaries, we show that these dinatural transformations compose, and obtain a conservativity result: diadditive dinatural transformations which are uniform with respect to actions of the additive group of integers are also uniform with respect to the actions of arbitrary cocommutative Hopf algebras. Finally, we discuss several possible extensions of this work to noncommutative logic.It is well known that the intuitionistic version of Läuchli's semantics is a special case of the theory of logical relations, due to Plotkin and Statman. Thus, our work can also be viewed as a first step towards developing a theory of logical relations for linear logic and concurrency. (shrink)

The European Clinical Trials Directive was issued in 2001 and aimed to simplify and harmonise the regulatory framework of clinical trials throughout Europe, thus stimulating European research. However, significant complexity and inconsistency remains due to disparate interpretation by EU member states. Critical care research has been particularly impacted due to variable and often restrictive consenting procedures for incapacitated subjects, with some countries requiring a court-appointed representative, while others recognise consent from family members and occasionally professional representatives. Furthermore, the absence of (...) a waiver of consent threatened to put an end to emergency research in Europe and was met with varied responses. Approval procedures by ethics committees are equally inconsistent, particularly those relating to provision of a single opinion for multi-centre trials. Although evidence is somewhat mixed, this complexity as well as a general increase in administrative and financial burden following the Directive has been shown to cause a reduction in clinical trial activity in Europe, particularly academic trials. We aim to clarify some of these inconsistent procedures, particularly those relating to informed consent of incapacitated subjects, as well as discussing some general weaknesses and possible improvements of the Directive ahead of its planned revision in 2011. (shrink)

We present a full completeness theorem for the multiplicative fragment of a variant of noncommutative linear logic, Yetter's cyclic linear logic. The semantics is obtained by interpreting proofs as dinatural transformations on a category of topological vector spaces, these transformations being equivariant under certain actions of a noncocommutative Hopf algebra called the shuffie algebra. Multiplicative sequents are assigned a vector space of such dinaturals, and we show that this space has as a basis the denotations of cut-free proofs in CyLL (...) + MIX. This can be viewed as a fully faithful representation of a free *-autonomous category, canonically enriched over vector spaces. This paper is a natural extension of the authors' previous work, "Linear Lauchli Semantics", where a similar theorem is obtained for the commutative logic MLL + MIX. In that paper, we interpret proofs as dinaturals which are invariant under certain actions of the additive group of integers. Here we also present a simplification of that work by showing that the invariance criterion is actually a consequence of dinaturality. The passage from groups to Hopf algebras in this paper corresponds to the passage from commutative to noncommutative logic. However, in our noncommutative setting, one must still keep the invariance condition on dinaturals. (shrink)

Commentators have generally been content to cite parallels for the phrase iucunda uoluptas at Propertius 1.10.3 without drawing attention to an interesting resonance which it may evoke.

In his paper ‘Has the Ontological Argument Been Refuted?’, 97–110) William F. Vallicella argues that my attempt to show that the Ontological Argument begs the question is unsuccessful. 1 I believe he is wrong about this, but before endeavouring to vindicate my position I must first make clear what precisely is the point at issue between us. The Ontological Argument is not a single argument, but a family of arguments. Newly devised formulations of the argument are frequently put forward by (...) philosophers in an effort to avoid difficulties that have been pointed out in previous versions. As a consequence there is no possibility of a conclusive proof that every form of the argument embodies the same fallacy. Nevertheless, one can, I believe, prove that all the standard versions of the argument embody a certain fallacy and that, given the nature of the argument, it is therefore unlikely that the argument can be formulated in such a way as to avoid this difficulty. What I tried to show in my paper is that the six best-known versions of the argument all beg the question and that they do so at the same point in the argument, namely when it is asserted that it is possible that an absolutely perfect being exists. It is difficult to see how an ontological argument could be formulated without including this claim as one of its premises, since the distinguishing badge of the argument is the inference from the possibility of an absolutely perfect being to its actuality. It must be unlikely then, if my criticism of these six versions is correct, that there is any way of formulating the argument that avoids this fallacy. (shrink)

Between 1787, and the end of his life in 1832, Bentham turned his attention to the development and application of economic ideas and principles within the general structure of his legislative project. For seventeen years this interest was manifested through a number of books and pamphlets, most of which remained in manuscript form, that develop a distinctive approach to economic questions. Although Bentham was influenced by Adam Smith's An Inquiry into the Nature and Causes of the Wealth of Nations, he (...) neither adopted a Smithian vocabulary for addressing questions of economic principle and policy, nor did he accept many of the distinctive features of Smith's economic theory. One consequence of this was that Bentham played almost no part in the development of the emerging science of political economy in the early nineteenth century. The standard histories of economics all emphasize how little he contributed to the mainstream of late eighteenth and early nineteenth-century debate by concentrating attention on his utilitarianism and the psychology of hedonism on which it is premised. Others have argued that the calculating nature of his theory of practical reason reduced the whole legislative project to a crude attempt to apply economics to all aspects of social and political life. Put at its simplest this argument amounts to the erroneous claim that Bentham's science of legislation is reducible to the science of political economy. A different but equally dangerous error would be to argue that because Bentham's conception of the science of legislation comprehends all the basic forms of social relationships, there can be no science of political economy as there is no autonomous sphere of activity governed by the principles of economics. This approach is no doubt attractive from an historical point of view given that the major premise of this argument is true, and that many of Bentham's ‘economic’ arguments are couched in terms of his theory of legislation. Yet it fails to account for the undoubted importance of political economy within Bentham's writings, not just on finance, economic policy, colonies and preventive police, but also in other aspects of his utilitarian public policy such as prison reform, pauper management, and even constitutional reform. All of these works reflect a conception of political economy in its broadest terms. However, this conception of political economy differs in many respects from that of Bentham's contemporaries, and for this reason Bentham's distinctive approach to problems of economics and political economy has largely been misunderstood. (shrink)

Theism, according to David O'Connor, has in recent centuries been on trial for its life, the charge being that the existence of so much evil in the world is incompatible with belief in a benevolent creator. But this trial, he claims is incapable of producing a reasoned verdict.

Religion and the external world -- Projection, religion, and the external world -- The senses, reason and the imagination -- Realism, meaning and justification : the external world and religious belief -- Modality, projection and realism -- 'Our profound ignorance' : causal realism, and the failure to detect necessity -- Spreading the mind : projection, necessity and realism -- Into the labyrinth : persons, modality, and Hume's undoing -- Value, projection, and realism -- Gilding : projection, value and secondary qualities (...) -- The gold : good, evil, belief and desire -- The golden : relational values, realism and a moral sense. (shrink)

This new edition offers expanded selections from the works of Kongzi, Mengzi, Zhuangzi, and Xunzi ; two new works, the dialogues _Robber Zhi_ and _White Horse_; a concise general introduction; brief introductions to, and selective bibliographies for, each work; and four appendices that shed light on important figures, periods, texts, and terms in Chinese thought.

The metaphysical problem of individuation requires an answer to two different but intimately related questions: 1) How are we to characterize individuality ontologically? To what ontological category or logical type does individuality belong? 2) What sort of distinction is there between the individuality and nature of an individual, e.g., a real distinction, a modal distinction, a distinction of reason, or some other distinction My purpose in this article is to clarify a bare particular account of individuation and respond to objections (...) that have been raised against bare particulars as individuators. (shrink)

We prove almost sure exponential stability for the disease-free equilibrium of a stochastic differential equations model of an SIR epidemic with vaccination. The model allows for vertical transmission. The stochastic perturbation is associated with the force of infection and is such that the total population size remains constant in time. We prove almost sure positivity of solutions. The main result concerns especially the smaller values of the diffusion parameter, and describes the stability in terms of an analogue $$\mathcal{R}_\sigma$$ of the (...) basic reproduction number $$\mathcal{R}_0$$ of the underlying deterministic model, with $$\mathcal{R}_\sigma \le \mathcal{R}_0$$. We prove that the disease-free equilibrium is almost sure exponentially stable if $$\mathcal{R}_\sigma <1$$. (shrink)

Inleidend overzicht van de wijsgerige ethiek.

It is the impression of neurologists who deal with cancer patients that the incidence of neurologic complications of cancer is increasing (Posner 1995). ...

In this article, cognitivism is understood as the view that the engine of human action is the intentional, dispositional, or other mental capacities of the brain or the mind. Cognitivism has been criticized for considering the essence of human action to reside in its alleged source in mental processes at the expense of the social surroundings of the action, criticism that has often been inspired by Ludwig Wittgenstein's later philosophy. This article explores the logical extent of the critique of cognitivism, (...) arguing that by positing collectively shared knowledge of criteria as the engine of human action many such critiques themselves display latent cognitivism. (shrink)

Multidisciplinary healthcare committees meet regularly to discuss patients’ candidacy for emerging functional neurosurgical procedures, such as Deep Brain Stimulation . Through debate and discussion around the surgical candidacy of particular patients, functional neurosurgery programs begin to mold practice and policy supported both by scientific evidence and clear value choices. These neurosurgical decisions have special considerations not found in non-neurologic committees. The professional time used to resolve these conflicts provides opportunities for the emergence of careful, ethical practices simultaneous with the expansion (...) of therapy applications. (shrink)

P J Crittenden; Thoughts about Locke's Thoughts about Education, Journal of Philosophy of Education, Volume 15, Issue 2, 30 May 2006, Pages 149–160, https://doi.

This paper discusses the metaphor of projection in relation to Hume’s treatment of causal necessity. I argue that the best understanding of projection shows it to be compatible with taking Hume to be a ‘sceptical realist’ about causal necessity, albeit an agnostic one.

Critically discussing the causal social ontologies presented by Dave Elder-Vass and John Searle, the article argues that these views implausibly identify the causal ontological source of human sociality in collectively known, recognized and accepted statuses, criteria, norms and the like. This is implausible, for it ignores human sociality as occurring in temporally and spatially dispersed on-going processes of human interaction of differently placed, often unequal, and thus epistemically differently equipped actors in division of labour. Human scientific concepts are best seen (...) as picking out (aspects of) such complex and heterogeneous processes, not what the participating actors allegedly collectively know, accept or recognize about them. The article observes that similar appeals to collective recognition are also common in Wittgensteinian literature that, however, have claimed to reject the causal ontological view. It is argued that the ultimate value in rejecting the causal ontological view, and the accompanying idea of collective recognition, resides in that we thereby avoid epistemically homogenizing and over-intellectualizing the diverse mass of dispersed, often unequal, but interacting actors. (shrink)